翻訳と辞書
Words near each other
・ Spectrum FM
・ Spectrum Foundation
・ Spectrum Foundation Awards
・ Spectrum Games
・ Spectrum Health
・ Spectrum HoloByte
・ Spectrum Industries
・ Spectrum London
・ Spectrum mall
・ Spectrum Mall (Chennai)
・ Spectrum management
・ Spectrum Management and Telecommunications
・ Spectrum of a C*-algebra
・ Spectrum of a matrix
・ Spectrum of a ring
Spectrum of a sentence
・ Spectrum of a theory
・ Spectrum of Death
・ Spectrum of theistic probability
・ Spectrum Patrol Car
・ Spectrum Pharmaceuticals
・ Spectrum pooling
・ Spectrum Press
・ Spectrum problem
・ Spectrum Pursuit Vehicle
・ Spectrum Radio
・ Spectrum Range
・ Spectrum reallocation
・ Spectrum S-33 Independence
・ Spectrum S-40 Freedom


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Spectrum of a sentence : ウィキペディア英語版
Spectrum of a sentence
In mathematical logic, the spectrum of a sentence is the set of natural numbers occurring as the size of a finite model in which a given sentence is true.
==Definition==
Let ψ be a sentence in first-order logic. The ''spectrum'' of ψ is the set of natural numbers ''n'' such that there is a finite model for ψ with ''n'' elements.
If the vocabulary for ψ consists of relational symbols, then ψ can be regarded as a sentence in existential second-order logic (ESOL) quantified over the relations, over the empty vocabulary. A ''generalised spectrum'' is the set of models of a general ESOL sentence.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Spectrum of a sentence」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.